La féminisation du sport fédéral : une affaire de petites et jeunes filles ?

Contribution a l'etude du traitement de la morve experimentale du cobaye par l'anamorve, la sulfadiazine, la penicilline et la Streptomycine

La Fièvre Aphteuse et la méthode de préparation du vaccin anti-aphteux

Une preuve formelle et intuitionniste du théorème de complétude de la logique classique

Il est bien connu que la correspondance de Curry-Howard permet d’associer un programme, sous la forme d’un λ-terme, à toute preuve intuitionniste, formalisée dans le calcul des prédicats du second ordre (voir, par exemple [3]). Cette correspondance a été étendue, assez récemment, à la logique classique moyennant une extension convenable du λ-calcul (voir [1,4,5,6]). Chaque théorème formalisé en...

Léiomyosarcome du pancréas: une tumeur de mauvais pronostic - cas clinique et revue de la littérature

Le léiomyosarcome (LMS) primitif du pancréas est une tumeur mésenchymateuse rare (0,1% des tumeurs pancréatiques), seulement 47 cas ont été publiés la littérature depuis 1951. Le diagnostique est basée sur l’immunohistochimie. C’est une tumeur très agressive et souvent découverte à un stade avancé. Nous rapportant le cas d’un patient de 40 ans qui présentait un léiomyosarcome primitif du pancré...

LaBRI.Modélisation du son, de la parole et de la musique

Le Laboratoire Bordelais de recherche en informatique (LaBRI) développe un partenariat avec le Studio de Création et de recherche en informatique et musique électroacoustique (SCRIME) (http://scrime.labri.fr), dont l’objectif est de créer des outils pour la création artistique. Les recherches s’effectuent dans le thème « Modélisation du Son, de la Musique et de la Parole » (http://www.labri.fr/...